Formal ontology - PDFSEARCH.IO - Document Search Engine

Formal ontology
Results: 493

#	Item
31	Judgments about spatio-temporal relations Thomas Bittner Qualitative Reasoning Group, Department of Computer Science, Northwestern University and Institute for Formal Ontology and Medical Information Science at the Univ Add to Reading List Source URL: www.acsu.buffalo.edu Language: English - Date: 2004-06-10 06:15:20 Ontology Geolocation Spatiotemporal database Spacetime Formal ontology Metaphysics Meaning philosophy of language) Philosophy
32	An Extension of ToscanaJ for FCA-based Data Analysis over Triple Stores Frithjof Dau and Barı¸s Sertkaya SAP Research Center Dresden, Germany (frithjof.dau\|baris.sertkaya)@sap.com Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2011-06-14 09:30:50 Lattice theory Computing Ontology Data management Data modeling Data mining Formal concept analysis Machine learning Data model Entityrelationship model Software engineering Conceptual model
33	Ontology Application to the Problem of Maritime Traffic Analysis and Understanding Ontological Approaches to Sensor Data Analysis May, 2016 John McDowall Add to Reading List Source URL: www.ncgia.buffalo.edu Language: English - Date: 2016-05-27 23:40:47 Ontology Knowledge representation Information science Information Technical communication Computing Upper ontology Formal ontology Web Ontology Language GeoSPARQL Class Draft:Outline of ontologies
34	International Journal of Geographical Information Science Vol. 00, No. 00, July 2006, 1–29 A Spatio-Temporal Ontology for Geographic Information Integration Thomas Bittner∗,1,2,3,4 , Maureen Donnelly1,3 , and Barry S Add to Reading List Source URL: www.thomasebittner.com Language: English - Date: 2012-04-30 16:05:50 Logic Ontology Mathematical logic Mathematics Mereology Upper ontology First-order logic Formal ontology S Equivalence relation Problem of universals Binary relation
35	Towards a Common Semantic Representation of Informed Consent for Biobank Specimens Frank J. Manion1, Yongqun He2, Elizabeth Eisenhauer3, Yu Lin2, Alla Karnovsky4, Marcelline R. Harris3 2 Add to Reading List Source URL: ceur-ws.org Language: English* - Date: 2014-12-08 13:49:29 Ontology Information science Academia Knowledge Technical communication Knowledge representation Semantic Web Biological specimen Biorepository Biobank OBO Foundry Formal ontology
36	Revisiting the Ontological Square Luc SCHNEIDER 1 , Institute for Formal Ontology and Medical Information Science, Universität des Saarlandes, Saarbrücken, Germany Abstract. Considerations regarding predication in ordi Add to Reading List Source URL: ifomis.uni-saarland.de Language: English - Date: 2014-05-09 08:16:43 Logic Mathematical logic Model theory Metalogic Interpretation Philosophy of mind Semantics First-order logic Constructible universe Linear temporal logic operator
37	Microsoft Word - IBSAI and DM.doc Add to Reading List Source URL: foibg.com Language: English - Date: 2015-02-02 08:44:11 Ontology Knowledge representation Information science Technical communication Computing Semantic Web Information Upper ontology Formal ontology WordNet Knowledge representation and reasoning Web Ontology Language
38	1 Endurants and perdurants in directly depicting ontologies Thomas Bittner a Maureen Donnelly a Barry Smith a,b Add to Reading List Source URL: www.acsu.buffalo.edu Language: English - Date: 2004-08-09 19:57:54 Ontology Philosophy Metaphysics Academia Information science Knowledge representation Technical communication Constructible universe Temporal parts Formal ontology
39	Formal Concept Analysis for Qualitative Data Analysis over Triple Stores Frithjof Dau and Barı¸s Sertkaya SAP Research Center Dresden, Germany (frithjof.dau\|baris.sertkaya)@sap.com Add to Reading List Source URL: www.dr-dau.net Language: English - Date: 2012-03-18 07:41:23 Computing Semantic Web Information science Information Ontology Knowledge representation Technical communication Knowledge engineering Formal concept analysis Data model Resource Description Framework Entityrelationship model
40	LBFO: toward an artificial language for ontology development Leonard F Jacuzzo National Center for Biomedical Ontology, Ontology Research Group, SUNY Center of Excellence in Bioinformatics Nature Precedings : doi:10.103 Add to Reading List Source URL: precedings.nature.com Language: English Information science Knowledge representation Ontology Logic Formal languages Philosophy Abstraction Upper ontology Basic Formal Ontology Well-formed formula Formal ontology Symbol